Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
131	McGill University School of Computer Science Game Research at McGill Formal Verification of Computer Narratives GR@M Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2009-06-10 18:11:01 Computer science Model checkers Concurrency Automata theory Diagrams NuSMV Petri net Model checking Formal verification Models of computation Theoretical computer science Applied mathematics
132	McGill University School of Computer Science Sable Research Group Memory Abstractions for Speculative Multithreading Sable Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2008-10-20 18:49:32 Parallel computing Concurrent computing Memory management Control flow Concurrency control Call stack Thread Speculative multithreading Stack Computing Computer programming Software engineering
133	McGill University School of Computer Science Sable Research Group libspmt: A Library for Speculative Multithreading Sable Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-05-18 00:38:26 Parallel computing Concurrent computing Threads Control flow Concurrency control Speculative multithreading Speculative Multithreading C dynamic memory allocation Computing Computer programming Software engineering
134	An Evaluation of Implementation Options for MPI One-Sided Communication William Gropp and Rajeev Thakur Mathematics and Computer Science Division Argonne National Laboratory Argonne, IL 60439, USA Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2005-07-08 14:20:00 Computer programming Application programming interfaces Concurrency control Message Passing Interface MPICH OpenMP Thread Barrier Lock Computing Concurrent computing Parallel computing
135	Implementing MPI-IO Atomic Mode Without File System Support Robert Ross Robert Latham William Gropp Rajeev Thakur Brian Toonen Mathematics and Computer Science Division Argonne National Laboratory Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2005-03-30 18:24:20 Software Lock MPICH Linearizability Mutual exclusion Parallel computing Lustre Message Passing Interface Spinlock Concurrency control Computing Concurrent computing
136	Implementing MPI-IO Atomic Mode and Shared File Pointers Using MPI One-Sided Communication Robert Latham, Robert Ross, Rajeev Thakur Mathematics and Computer Science Division Argonne National Laboratory Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2007-02-06 12:35:35 Concurrent computing Parallel computing Application programming interfaces Free software MPICH Public domain software Pointer Message Passing Interface Open Computing Computer programming Concurrency control
137	Implementing Byte-Range Locks Using MPI One-Sided Communication Rajeev Thakur, Robert Ross, and Robert Latham Mathematics and Computer Science Division Argonne National Laboratory Argonne, IL 60439, USA Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2005-07-08 14:20:31 Computer programming Parallel computing Application programming interfaces Message Passing Interface File locking MPICH Lock Linearizability Global File System Computing Concurrency control Concurrent computing
138	Combining Generality and Practicality in a Conit-Based Continuous Consistency Model for Wide-Area Replication Haifeng Yu Computer Science Department Duke University Durham, NC Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2006-11-02 03:24:46 Transaction processing Database management systems Consistency model Fault-tolerant computer systems Data synchronization Database Weak consistency Concurrency control Replication Computing Data management Data
139	Minimal Replication Cost for Availability Haifeng Yu Amin Vahdat Computer Science Department Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2006-11-02 03:32:08 Transaction processing Fault-tolerant computer systems Data synchronization Concurrency control Replication Serializability Consistency model Serialization Database Computing Data management Data
140	Optimizing the Synchronization Operations in MPI One-Sided Communication∗ Rajeev Thakur William Gropp Brian Toonen Mathematics and Computer Science Division Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2005-04-07 19:00:21 Application programming interfaces Free software MPICH Public domain software Concurrency control Synchronization Lock Computer cluster Message Passing Interface Computing Parallel computing Computer programming

UPDATE